“기호 실행”으로 총 1건 검색

• 기호 실행, 記號實行, symbolic execution

  입력에 대한 기호값을 식 내의 연산수에 전달함으로써 프로그램이 분석될 수 있다. 그 결과로 나온 기호식은 모든 중간 계산과 판단이 항상 기호 입력에 대해서 표시될 수 있도록 간소화된다. ②입력 데이터의 실제값보다 기호들을 사용하여 프로그램 수행이 모방되고, 프로그램 출력은 이러한 기호들을 포함한...